Densitometer Patent

Measuring density of single and two-phase cryogenic fluids in rocket fuel tank

Fibrational induction rules for initial algebras

This paper provides an induction rule that can be used to prove properties of data structures whose types are inductive, i.e., are carriers of initial algebras of functors. Our results are semantic in nature and are inspired by Hermida and Jacobs’ elegant algebraic formulation of induction for polynomial data types. Our contribution is to derive, under slightly different assumptions, an induction rule that is generic over all inductive types, polynomial or not. Our induction rule is generic over the kinds of properties to be proved as well: like Hermida and Jacobs, we work in a general fibrational setting and so can accommodate very general notions of properties on inductive types rather than just those of particular syntactic forms. We establish the correctness of our generic induction rule by reducing induction to iteration. We show how our rule can be instantiated to give induction rules for the data types of rose trees, finite hereditary sets, and hyperfunctions. The former lies outside the scope of Hermida and Jacobs’ work because it is not polynomial; as far as we are aware, no induction rules have been known to exist for the latter two in a general fibrational framework. Our instantiation for hyperfunctions underscores the value of working in the general fibrational setting since this data type cannot be interpreted as a set

Instrument continuously measures density of flowing fluids

Electromechanical densitometer continuously measures the densities of either single-phase or two-phase flowing cryogenic fluids. Measurement is made on actual flow. The instrument operates on the principle that the mass of any vibrating system is a primary factor in determining the dynamic characteristics of the system

The Integration of Positron Emission Tomography With Magnetic Resonance Imaging

A number of laboratories and companies are currently exploring the development of integrated imaging systems for magnetic resonance imaging (MRI) and positron emission tomography (PET). Scanners for both preclinical and human research applications are being pursued. In contrast to the widely distributed and now quite mature PET/computed tomography technology, most PET/MRI designs allow for simultaneous rather than sequential acquisition of PET and MRI data. While this offers the possibility of novel imaging strategies, it also creates considerable challenges for acquiring artifact-free images from both modalities. This paper discusses the motivation for developing combined PET/MRI technology, outlines the obstacles in realizing such an integrated instrument, and presents recent progress in the development of both the instrumentation and of novel imaging agents for combined PET/MRI studies. The performance of the first-generation PET/MRI systems is described. Finally, a range of possible biomedical applications for PET/MRI are outlined

STS-1 mission contamination evaluation approach

The space transportation system 1 mission will be the first opportunity to assess the induced environment of the orbiter payload bay region. Two tools were developed to aid in this assessment. The shuttle payload contamination evaluation computer program was developed to provide an analytical tool for prediction of the induced molecular contamination environment of the space shuttle orbiter during its onorbit operations. An induced environment contamination monitor was constructed and tested to measure the space shuttle orbiter contamination environment inside the payload bay during ascent and descent and inside and outside the payload bay during the onorbit phase. Measurements are to be performed during the four orbital flight test series. Measurements planned for the first flight are described and predicted environmental data are discussed. The results indicate that the expected data are within the measurement range of the induced environment contamination monitor instruments evaluated, and therefore it is expected that useful contamination environmental data will be available after the first flight

Durability of zirconia thermal-barrier ceramic coatings on air-cooled turbine blades in cyclic jet engine operation

Thermal barrier ceramic coatings of stabilized zirconia over a bond coat of Ni Cr Al Y were tested for durability on air cooled turbine rotor blades in a research turbojet engine. Zirconia stabilized with either yttria, magnesia, or calcia was investigated. On the basis of durability and processing cost, the yttria stabilized zirconia was considered the best of the three coatings investigated

The genetic architecture underlying the evolution of a rare piscivorous life history form in brown trout after secondary contact and strong introgression

Identifying the genetic basis underlying phenotypic divergence and reproductive isolation is a longstanding problem in evolutionary biology. Genetic signals of adaptation and reproductive isolation are often confounded by a wide range of factors, such as variation in demographic history or genomic features. Brown trout ( ) in the Loch Maree catchment, Scotland, exhibit reproductively isolated divergent life history morphs, including a rare piscivorous (ferox) life history form displaying larger body size, greater longevity and delayed maturation compared to sympatric benthivorous brown trout. Using a dataset of 16,066 SNPs, we analyzed the evolutionary history and genetic architecture underlying this divergence. We found that ferox trout and benthivorous brown trout most likely evolved after recent secondary contact of two distinct glacial lineages, and identified 33 genomic outlier windows across the genome, of which several have most likely formed through selection. We further identified twelve candidate genes and biological pathways related to growth, development and immune response potentially underpinning the observed phenotypic differences. The identification of clear genomic signals divergent between life history phenotypes and potentially linked to reproductive isolation, through size assortative mating, as well as the identification of the underlying demographic history, highlights the power of genomic studies of young species pairs for understanding the factors shaping genetic differentiation

Flow establishment in a generic scramjet combustor

The establishment of a quasi-steady flow in a generic scramjet combustor was studied for the case of a time varying inflow to the combustor. Such transient flow is characteristic of the reflected shock tunnel and expansion tube test facilities. Several numerical simulations of hypervelocity flow through a straight duct combustor with either a side wall step fuel injector or a centrally located strut injector are presented. Comparisons were made between impulsively started but otherwise constant flow conditions (typical of the expansion tube or tailored operations of the reflected shock tunnel) and the relaxing flow produced by the 'undertailored' operations of the reflected shock tunnel. Generally the inviscid flow features, such as the shock pattern and pressure distribution, were unaffected by the time varying inlet conditions and approached steady state in approx. the times indicated by experimental correlations. However, viscous features, such as heat transfer and skin friction, were altered by the relaxing inlet flow conditions